Horizontal and Vertical Structuring Techniques for Statechartsa

نویسنده

  • Hartmut Ehrig
چکیده

In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer and Montanari. We apply the framework of high-level-replacement systems, a categorical generalization of graph transformation systems, in order to deene union as horizontal as well as transformation and reenement as vertical structuring techniques for statecharts. The rst main result shows compatibility of union and transformation in a suitable category of statecharts. We present an algorithm for the computation of all transitions enabled within one step. The second main result shows the correctness of this algorithm. We deene reenement morphisms for statecharts, which allow reenement of arbitrary states, in contrast to concepts in the literature where only basic and root states are subject of reenement. The third main result shows that reenement mor-phisms are compatible with the behavior of statecharts as deened in the formal semantics.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Investigation of Soil Amplification in North Cyprus

In this study, soil characteristics were investigated using four well-located earthquakes recorded by six accelerometers located in North Cyprus. The amplification values obtained according to the soil features were mapped in accordance with different frequencies using horizontal to vertical spectral ratio method. The dominant period values of the units below the station locations were calculat...

متن کامل

Horizontal and Vertical Structuring of Typed Graph

Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and vertical structuring techniques for typed graph transformation systems. Composition of graph transformation systems w.r.t. common subsystems is shown to be compatible with the semantics, i.e., the semantics of the composed system is obtained as the composition of the s...

متن کامل

Action Nets and Abstract Statecharts in the Theory of High-level Replacement Systems 5 Union and Transformation Concepts and Results

In software engineering one of the main issues is structuring. As well horizontal { composing and decomposing a system { as vertical structuring { stepwise reenement of a system { are essential for the development of large and complex systems. In this paper we transfer well-known structuring techniques for horizontal and vertical structuring, namely union and transformation to abstract statecha...

متن کامل

VIl Simpósio Brasileiro de Engenharia de Software Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations

ln this paper we present algebraic high-level nets: a combination of algebraic specifications and Pctri nets. Algebraic specifications are used to specify the data.-structure and Petri nets to specify the data.-O.ow. This combination is a very powerful description technique. Moreover we introduce net transformations, net fusions and net unions as structuring techniques. Fusions and unions can b...

متن کامل

Evaluation of Seismic Performance of Combined Horizontal and Vertical Hexagrid Structural System for High-rise Buildings

Summary In this study, the seismic performance of hexagrid structures which are composed of horizontal and vertical hexagrid by using a transitional story, has been investigated. To this end, 10 models of 50-story hexagrid structures were designed. 9 models with horizontal hexagrid cells which transited to vertical cells using a transitional story, and a model of completely horizontal hexagrid ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997